constraint solving造句

White-box fuzzing uses symbolic execution and constraint solving.
Techniques such as abstract interpretation, constraint solving, and type systems may be used for control-flow analysis.
Includes brief explicit description of the role of D-Cubed components in constraint solving, collision detection and physical simulation:
Modern SAT solvers are also having significant impact on the fields of software verification, constraint solving in artificial intelligence, and operations research, among others.
It hosts fundamental research ( algorithms and complexity, programming logics ) as well a research for various application domains ( computer graphics, geometric computation, constraint solving, computational biology ).
It's difficult to find constraint solving in a sentence. 用constraint solving造句挺难的

In a simulation this may be implemented by using small time steps for the simulation, using a fixed number of constraint solving steps per time step, or solving constraints until they are met by a specific deviation.